Abstract: Colored Petri Nets(CPN) is the powerful tool for modeling the disperse event dynamic system. Queueing model can not analyze the dynamic behaviors of the queueing system and Colored Petri Nets can overcome these defects by introducting into the modeling of queueing system. The toplevel model is built up and the four elements of queuing system are given specific description of 〖JP3〗a CPN. This paper gives a concrete example to illustrate the use of CPN analysis in the queueing system. CPNTools is used to emulate the mode1.The results are compared with the theoretical value of the mathematical model and are analyzed to verify the feasibility.

Key words: colored Petri nets, queueing system, modeling, simulation